Manuel Hermenegildo: ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Histórias de Terror da Idade Média (Clássicos do Horror Livro 7)

Histórias de Terror da Idade Média (Clássicos do Horror Livro 7)

Giovanni Boccaccio & Juan Manuel de Castela & Hermenegildo de Tancos & Anônimos Árabes [Boccaccio, Giovanni]

წელი:

2016

ენა:

portuguese

ფაილი:

EPUB, 379 KB

0 / 5.0

portuguese, 2016

2

Prolog: The Next 50 Years

Prolog: The Next 50 Years

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

წელი:

2023

ენა:

english

ფაილი:

PDF, 25.08 MB

0 / 5.0

english, 2023

3

Prolog: The Next 50 Years

Prolog: The Next 50 Years

Springer Nature

David S. Warren, Veronica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, (eds.)

წელი:

2023

ენა:

english

ფაილი:

EPUB, 41.26 MB

0 / 0

english, 2023

4

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Springer International Publishing

Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors)

წელი:

2017

ენა:

english

ფაილი:

PDF, 11.58 MB

0 / 0

english, 2017

5

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 2.46 MB

0 / 0

english, 2000

6

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 5.29 MB

0 / 0

english, 2002

7

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 4.28 MB

0 / 0

english, 2000

8

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 2.34 MB

0 / 0

english, 2003

9

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Analysis and Visualization Tools for Constraint Programming: Constraint Debugging

Springer-Verlag Berlin Heidelberg

Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 3.24 MB

0 / 0

english, 2000

10

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 6.30 MB

0 / 0

english, 2002

11

Logic programming: proceedings of the 1990 North American conference

Logic programming: proceedings of the 1990 North American conference

Saumya Debray, Manuel Hermenegildo (ed.)

წელი:

1990

ენა:

english

ფაილი:

DJVU, 9.34 MB

0 / 0

english, 1990

12

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

Gilles Barthe, Manuel Hermenegildo

წელი:

2010

ენა:

english

ფაილი:

PDF, 4.07 MB

0 / 0

english, 2010

13

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings

Manuel Hermenegildo, Daniel Cabeza

წელი:

2005

ენა:

english

ფაილი:

PDF, 8.33 MB

0 / 0

english, 2005

14

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)

წელი:

1994

ენა:

english

ფაილი:

DJVU, 4.36 MB

0 / 0

english, 1994

15

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Oege de Moor (auth.), Manuel Hermenegildo, S. Doaitse Swierstra (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 4.13 MB

0 / 0

english, 1995

16

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers

Springer-Verlag Berlin Heidelberg

Manuel Hermenegildo, Germán Puebla, Francisco Bueno (auth.), Barry O’Sullivan (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 1.74 MB

0 / 0

english, 2003

17

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 5.07 MB

0 / 0

english, 2008

18

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 4.86 MB

0 / 0

english, 2008

19

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)

წელი:

2010

ენა:

english

ფაილი:

PDF, 5.09 MB

0 / 0

english, 2010

20

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)

წელი:

2005

ენა:

english

ფაილი:

DJVU, 2.43 MB

0 / 0

english, 2005

21

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005

Manuel Hermenegildo, Daniel Cabeza

წელი:

2005

ენა:

english

ფაილი:

PDF, 8.64 MB

0 / 0

english, 2005